Memory model

Results: 703



#Item
631Double-checked locking / Volatile variable / Java Memory Model / Thread safety / Lock / Memory model / Critical section / Linearizability / Memory barrier / Concurrency control / Computing / Software engineering

Thread 1 Thread 2 1: r2 = A; 3: r1 = B 2: B = 1; 4: A = 2 May return r2 == 2, r1 == 1 Figure 1: Behaves Surprisingly

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2004-02-01 21:43:05
632Java Memory Model / Java platform / Justification / Constructible universe / Expected value / Group action / Christian theology / Christianity / Theology

Formal Description of the Manson/Pugh Model February 6, 2004, 1:44pm This document is intended to supplement the Public Review of the Java Memory Model. It can be considered as a replacement for Sections 7 and 8 of that

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2004-02-06 13:47:14
633Concurrency / Thread / Lock / Mutual exclusion / Synchronization / Java programming language / Java concurrency / Java Memory Model / Computing / Concurrency control / Concurrent computing

Correct and Efficient Synchronization of ™ Java Technologybased Threads Doug Lea and William Pugh http://gee.cs.oswego.edu

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2000-07-28 17:02:46
634Knowledge / Agent-based model / Mathematical model / Ecosystem model / Computer simulation / Scientific modelling / Ewe people / Ecology / Simulation / Science / Scientific modeling / Ethology

Ecological Modelling[removed]– 215 www.elsevier.com/locate/ecolmodel Multi-agent simulation of group foraging in sheep: effects of spatial memory, conspecific attraction and plot size Bertrand Dumont a,*, David R

Add to Reading List

Source URL: bertrand.dumont.voila.net

Language: English - Date: 2006-12-03 18:08:00
635Java Memory Model / Lock / Memory barrier / Memory model / Monitor / Thread / Deadlock / Volatile variable / Java virtual machine / Computing / Concurrency control / Software engineering

JSR-133: JavaTM Memory Model and Thread Specification February 2, 2004, 2:05pm This document is the public review version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Specification. This specifica

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2004-02-02 14:07:05
636Concurrency / Computer memory / Concurrent computing / Java Memory Model / Java platform / Thread / Lock / Monitor / Parallel computing / Computing / Software engineering / Concurrency control

JSR-133: JavaTM Memory Model and Thread Specification August 24, 2004, 4:42pm This document is the JSR-133 specification, the JavaTM Memory Model and Thread Specification (JMM), as developed by the JSR-133 expert group.

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2004-08-24 16:44:54
637Computer memory / Transaction processing / Concurrency control / Compiler construction / Java Memory Model / Thread / Memory model / Consistency model / Lock / Computing / Software engineering / Java platform

Fixing the Java Memory Model William Pugh Dept. Of Computer Science Univ. of Maryland http://www.cs.umd.edu/~pugh/java

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 1999-06-23 15:16:39
638Java Memory Model / Lock / Memory barrier / Memory model / Monitor / Volatile variable / Linearizability / Deadlock / Thread / Computing / Concurrency control / Software engineering

JSR-133: JavaTM Memory Model and Thread Specification This document is the community review draft of the JSR-133 specification, the Java Memory Model (JMM) and Thread Specification. This specification is intended to be p

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2003-08-08 11:08:03
639Guggenheim Fellows / Mathematical psychology / Psychonomic Society / William Kaye Estes / Atkinson–Shiffrin memory model / Memory / Year of birth missing / Richard C. Atkinson / Learning sciences / Psychology / Cognitive science / Knowledge

Microsoft Word - RCA_cv_03_2007.doc

Add to Reading List

Source URL: rca.ucsd.edu

Language: English - Date: 2007-03-13 14:33:18
640Java Memory Model / Lock / Memory barrier / Monitor / Memory model / Deadlock / Thread / Volatile variable / Java virtual machine / Computing / Concurrency control / Software engineering

JSR-133: JavaTM Memory Model and Thread Specification March 17, 2004, 9:21pm This document is the public review version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Specification. This specificati

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2004-03-17 21:23:58
UPDATE